Decidability and Invariant Classes for Degree Structures
نویسندگان
چکیده
منابع مشابه
Decidability and Invariant Classes for Degree Structures
We present a decision procedure for the V3-theory of 3[0,0'], the Turing degrees below 0'. The two main ingredients are a new extension of embeddings result and a strengthening of the initial segments results below 0' of [Lei]. First, given any finite subuppersemilattice U ot 3[0,0'] with top element 0' and an isomorphism type V of a poset extending U consistently with its structure as an usl s...
متن کاملDecidability Classes for Mobile Agents Computing
We establish a classification of decision problems that are to be solved by mobile agents operating in unlabeled graphs, using a deterministic protocol. The classification is with respect to the ability of a team of agents to solve the problem, possibly with the aid of additional information. In particular, our focus is on studying differences between the decidability of a decision problem by a...
متن کاملDecidability of Invariant Validation for Paramaterized Systems
The control part of many concurrent and distributed programs reduces to a set Π = {p1, . . . , pn} of symmetric processes containing mainly assignments and tests on Boolean variables. However, the assignments, the guards and the program invariants can beΠ-quantified, so the corresponding verification conditions also involve Π-quantifications. We propose a systematic procedure allowing the elimi...
متن کاملSliding Mode Control for Single-degree-of-freedom Nonlinear Structures
The occurrence of catastrophic earthquakes necessitates further researches in the structure engineering for retrofitting construction structures. In this paper, the application of the active control in the structures’ seismic response has been addressed. A single degree of freedom nonlinear structure has been studied. The nonlinear dynamic of the structure is considered in which, the nonlinear ...
متن کاملDesigning vibrating mode controllers for first degree freedom nonlinear structures
The occurrence of catastrophic earthquakes necessitates further researches in the structure engineering for retrofitting construction structures. In this paper, the application of the active control in the structures’ seismic response has been addressed. A single degree of freedom nonlinear structure has been studied. The nonlinear dynamic of the structure is considered in which, the nonlin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1988
ISSN: 0002-9947
DOI: 10.2307/2000985